(clear_charpos_cache): New function.

diff --git a/src/marker.c b/src/marker.c
index 7d601eea70fb4577e122446bc3a817d8ed9066e1..e68245db9eca22f031d4a992f88e38473252fbe7 100644 (file)
--- a/src/marker.c
+++ b/src/marker.c
@@ -31,6 +31,13 @@ static int cached_charpos;
 static int cached_bytepos;
 static struct buffer *cached_buffer;
 static int cached_modiff;
+
+clear_charpos_cache (b)
+     struct buffer *b;
+{
+  if (cached_buffer == b)
+    cached_buffer = 0;
+}
 \f
 /* Converting between character positions and byte positions.  */